Raisonnement par l'absurde : On série prouver \(Q\) On ajoute \(\lnot Q\) au système d'axiomes et on démontre que l'on aboutit à une théorie contradictoire (Négation, Axiome)